首页> 外文OA文献 >Non-Solution Implications using Reverse Domination in a Modern SAT-based Debugging Environment

【2h】

Non-Solution Implications using Reverse Domination in a Modern SAT-based Debugging Environment

机译：在现代基于saT的调试环境中使用反向控制的非解决方案含义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bao Le; Brian Keng; Hratch Mangassarian; Andreas Veneris;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Path-Directed Abstraction and Refinement for SAT-Based Design Debugging [J] . Keng B., Veneris A. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013,第10期

机译：基于路径的抽象和优化基于SAT的设计调试
2. SAT-based Silicon Debug of Electrical Errors under Restricted Observability Enhancement [J] . Kumar Binod, Fujita Masahiro, Singh Virendra Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2019,第5期

机译：基于SAT的硅调试的电气误差受到限制可观察性增强
3. Trace techniques in modern debug environments [J] . Nicolas Stenko Electronic engineering . 2002,第904期

机译：现代调试环境中的跟踪技术
4. Non-solution implications using reverse domination in a modern SAT-based debugging environment [C] . Bao Le Design, Automation amp; Test in Europe Conference amp; Exhibition (DATE), 2012 . 2012

机译：在基于SAT的现代调试环境中使用反向控制的非解决方案含义
5. SAT-based Automated Design Debugging: Improvements and Application to Low-Power Design [D] . Le, Bao 2012

机译：基于SAT的自动设计调试：改进和在低功耗设计中的应用
6. African climate response to orbital and glacial forcing in 140000-y simulation with implications for early modern human environments [O] . John E. Kutzbach, Jian Guan, Feng He, 2020

机译：非洲气候反应轨道和冰川迫使140000 y模拟具有早期现代人类环境的影响
7. Using QBF to increase accuracy of SAT-based debugging [O] . André Sülflow, Görschwin Fey, Rolf Drechsler 2015

机译：使用QBF提高基于saT的调试的准确性
8. Software Debugging Methodology. Volume II. Handbook for Debugging in the MULTICS/GCOS/RTM Environments. [R] . finfer,marcia fellows,jon 1979

机译：软件调试方法。第二卷。 mULTICs / GCOs / RTm环境中的调试手册。

Non-Solution Implications using Reverse Domination in a Modern SAT-based Debugging Environment

著录项

引文网络

相似文献

相关主题

期刊订阅